Universal Access To All Knowledge
Home Donate | Store | Blog | FAQ | Jobs | Volunteer Positions | Contact | Bios | Forums | Projects | Terms, Privacy, & Copyright
Search: Advanced Search
Anonymous User (login or join us)
Upload
Search Results
Results: 1 through 47 of 47 (0.001 secs)
You searched for: subject:"recursion"
[texts]Fundamentals of generalized recursion theory - Fitting, Melvin, 1942-
Book digitized by Google from the library of Harvard University and uploaded to the Internet Archive by user tpb.
Keywords: Recursion theory
Downloads: 160
[image]Recursive Bash Program - Lance Miller
This image is of bash programming language code written by Seattle systems philosopher Lance Miller. The code is an example of recursion.
Keywords: recursion; programming
Downloads: 251
[texts]A recursive model of the spatial allocation of migrants : some empirical results (Volume BEBR No. 341) - Kau, James B
Includes bibliographical references (leaves 26-27)
Keywords: Recursion theory; Migration, Internal
Downloads: 95
[movies]Infinite Flickr: The Movie MPEG4 - Monkiineko
An animated slideshow of the pictures from the Infinite Flickr group from www.flickr.com which can be seen here: http://www.flickr.com/groups/infinite/ Note: This version uses the MPEG4 video codec rather than H.264 (but the H.264 version looks better if you can play it).
Keywords: infinite; flickr; slideshow; recursion
Downloads: 1,063
[texts]Numerical evaluation of diffraction integrals (Volume 105) - Mielenz, K.D.
Journal of Research of the National Institute of Standards and Technology
Keywords: recursion formula; circular aperture; diffraction; numerical integration
Downloads: 125
[texts]The recursive nature of descriptions : a fixed point (Volume Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 708) - Peterson, Larry J
"BCL no. 252."
Keywords: Recursion theory; Pattern recognition systems; Turing machines
Downloads: 51
[texts]mit :: ai :: aim :: AIM-015
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-015
Keywords: theorem; induction; recursion; reverse; defined; cons; scanning; proof; theorems; prove; recursion induction; scanning agent
Downloads: 29
[texts]Bessel functions I and J of complex argument and integer order (Volume 77B) - Sookne, David J.
Journal of Research of the National Bureau of Standards
Keywords: Bessel functions; backward recursion; error bounds; Miller algorithm; difference equation
Downloads: 87
[texts]A recursively defined ordering for proving termination of term rewriting systems (Volume Report (University of Illinois at Urbana-Champaign. Dept. of Computer Science) no. 943) - Plaisted, David A
"UILU-ENG 78 1736."
Keywords: Electronics digital computers; Automatic theorem proving; Recursion theory
Downloads: 25
[texts]Certification of an algorithm for Bessel functions of complex argument (Volume 77B) - Sookne, David J.
Journal of Research of the National Bureau of Standards
Keywords: Backward recursion; Bessel function; bit comparison; error bounds; relative error
Downloads: 59
[texts]autonetics :: recomp :: software :: Recomp Users Library :: 1102 125-R First Order System May61
From the bitsavers.org collection, a scanned-in computer-related document.autonetics :: recomp :: software :: Recomp Users Library :: 1102 125-R First Order System May61
Keywords: recursion; routine; division; solve; subroutine; fst; addr; program; accumulator; linearly
Downloads: 19
[texts]Bessel functions of real argument and integer order (Volume 77B) - Sookne, David J.
Journal of Research of the National Bureau of Standards
Keywords: Backward recursion; Bessel functions; difference equation; error bounds; Miller algorithms
Downloads: 92
[texts]mit :: ai :: aim :: AITR-754
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AITR-754
Keywords: logarithmic; recursion; linear; joint; torques; manipulator; vector; recursive; backward; node; motor torques; artificial intelligence; linear recursive; forward recursion; backward recursion; combining form; relational parameters; inverse dynamics; logarithmic recursive; time required
Downloads: 47
[audio]It's later than you think... - Tom Fahy

Keywords: Organ; Progressive Recursion; Scalar Guitar; Tom Fahy; Stag Records; Creative Commons; Instrumental; Experimental; Generative Algorithms
Downloads: 219
[movies]6.001 Fall 2005: Structure and Interpretation of Computer Programs - MIT OCW
This course introduces students to the principles of computation. Upon completion of 6.001, students should be able to explain and apply the basic methods from programming languages to analyze computational systems, and to generate computational solutions to abstract problems. Substantial weekly programming assignments are an integral part of the course. This course is worth 4 Engineering Design Points.
Keywords: programming; Scheme; abstraction; recursion; iteration; object oriented; structure; interpretation; computer programs; languages; procedures
Downloads: 7,880
[texts]univOfIllinoisUrbana :: illiac :: ILLIAC :: Auxiliary Library :: V14-323
From the bitsavers.org collection, a scanned-in computer-related document.univOfIllinoisUrbana :: illiac :: ILLIAC :: Auxiliary Library :: V14-323
Keywords: illiac; tables; store; bessel; notes; recursion; program; location; spherical; order; location order; order notes; spherical bessel
Downloads: 22
[texts]mit :: ai :: aim :: AIM-032
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-032
Keywords: scanning; evaluated; recursion; lisp; agent; evaluating; document; recursive; partions; jknownj; scanning agent
Downloads: 26
[texts]ibm :: 650 :: ades :: NAVORD 4209 Automatic Digital Encoding System II Feb56
From the bitsavers.org collection, a scanned-in computer-related document.ibm :: 650 :: ades :: NAVORD 4209 Automatic Digital Encoding System II Feb56
Keywords: recursion; equation; storage; formulation; denotes; vector; ades; dependent; variables; values; dependent variable; library function; navord report; independent variables; double recursion; dependent variables; simple scalar; master phase; phase equation; simple vector
Downloads: 5
[texts]mit :: lcs :: tr :: MIT-LCS-TR-093
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-093
Keywords: induction; proof; truncation; structural; program; recursive; function; recursion; definitions; prove; conditional expressions; function definition; truncation induction; induction hypothesis; structural induction; function definitions; third function; induction proof; recursion induction; automatic program
Downloads: 21
[texts]mit :: lcs :: tr :: MIT-LCS-TR-526
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-526
Keywords: object; concurrent; recursion; message; deadlock; port; recursive; thread; calls; method; recursive call; method activation; object depth; current port; recursion deadlock; mutual exclusion; binding map; split depth; port binding; concurrent calls
Downloads: 21
[texts]BSTJ 61: 8. October 1982: Approximate Mean Waiting Times in Transient GI/G/1 Queues. (Jagerman, D.L.)
Bell System Technical Journal, 61: 8. October 1982 pp 2003-2022. Approximate Mean Waiting Times in Transient GI/G/1 Queues. (Jagerman, D.L.)
Keywords: recursion; equilibrium; exact; numerical; approximation; queueing; approximate; queues; table; recursions; queueing system; numerical examples; system technical; equilibrium values; bell system; service time; transient analysis; waiting time; recursion formulae; transient behavior
Downloads: 24
[texts]Estimating Time from Atomic Clocks (Volume 88) - Jones, R.H.
Journal of Research of the National Bureau of Standards
Keywords: atomic clocks; Kalman recursion; maximum likelihood estimation; missing observations; nonliner estimation; state space; time series analysis; unequally spaced data
Downloads: 102
[texts]univOfIllinoisUrbana :: illiac :: ILLIAC :: Auxiliary Library :: V06-202
From the bitsavers.org collection, a scanned-in computer-related document.univOfIllinoisUrbana :: illiac :: ILLIAC :: Auxiliary Library :: V06-202
Keywords: routine; error; legendre; set; program; address; location; functions; recursion; lsp; order notes; associated legendre; set address; location order; plant address
Downloads: 15
[texts]Mathematics for Computer Science - Chapter 8- Directed Graphs - Albert R. Meyer
A cycle in a digraph is de�ned by a path that begins and ends at the same vertex. This includes the cycle of length zero that begins and ends at the vertex. A directed acyclic graph (DAG) is a directed graph with no positive length cycles.
Keywords: Maths; Logic, Numbers and Set Theory; Graph Theory; Posets and Zorn�s Lemma; Set Theory; Partially Ordered Sets; Transitive Closures, Epsilon-Induction and Epsilon-Recursion; Mathematics
Downloads: 7
[texts]xerox :: mesa :: OIS Language Selection 1974
From the bitsavers.org collection, a scanned-in computer-related document.xerox :: mesa :: OIS Language Selection 1974
Keywords: ois; mesa; language; sigma; spl; reentrancy; recursion; mpl; programming; parc; error routine; control block; base register; ois software; local storage; object code; reentrant procedures; virtual machine; programming language; static procedures
Downloads: 15
[texts]BSTJ 38: 5. September 1959: Group Testing to Eliminate Efficiently All Defectives in a Binomial Sample. (Sobel, Milton; Groll, Phyllis A.)
Bell System Technical Journal, 38: 5. September 1959 pp 1179-1252. Group Testing to Eliminate Efficiently All Defectives in a Binomial Sample. (Sobel, Milton; Groll, Phyllis A.)
Keywords: procedure; defective; units; binomial; denote; values; ire; defectives; testing; expected; test group; tests required; expected number; group testing; system technical; defective set; dividing point; eliminate defectives; bell system; recursion formulae
Downloads: 21
[texts]mit :: lcs :: tr :: MIT-LCS-TR-046
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-046
Keywords: program; input; canonic; string; canon; integer; label; algorithm; variable; scan; carriage return; term number; print comment; mini mad; input string; canonic systems; mad program; canonic system; label lists; left recursion
Downloads: 8
[audio]Idea Defined - Nexus (2011) - Idea Defined
spoken word over noise and sound scapes
Keywords: idXed, idea defined, nexus, jack kerouac, spoken word, poetry, farm, on the road, siddhartha, hesse, dreams, journal, soul, sole, alone, forest, missouri, dancing rabbit, eco-village, ginsberg, fritz the cat, philosophy, meta, recursion, therapy, self-actualization, bruce lee
Downloads: 8
[texts]mit :: ai :: aim :: AIM-577
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-577
Keywords: tinker; code; defining; function; selecting; program; menu; derivative; snapshot; session; code february; tinker edit; menu operation; program testing; tinker evaluates; example february; ordinary lisp; recursion february; snapshot window; partial definition
Downloads: 30
[texts]BSTJ 61: 9. November 1982: An Improved Model for Isolated Word Recognition. (Tribolet, J.M.; Rabiner, L.R.; Wilpon, J.G.)
Bell System Technical Journal, 61: 9. November 1982 pp 2289-2312. An Improved Model for Isolated Word Recognition. (Tribolet, J.M.; Rabiner, L.R.; Wilpon, J.G.)
Keywords: frame; lpc; distance; recognition; word; dtw; model; analysis; feature; isolated; dtw recursion; test pattern; isolated word; bell system; word recognition; lpc distance; lpc analysis; decision rule; system technical; recognition accuracy
Downloads: 18
[texts]BSTJ 53: 3. March 1974: Formulas on Queues in Burst Processes - II. (Sondhi, M.M.; Gopinath, B.; Mitra, Debasis)
Bell System Technical Journal, 53: 3. March 1974 pp 425-448. Formulas on Queues in Burst Processes - II. (Sondhi, M.M.; Gopinath, B.; Mitra, Debasis)
Keywords: buffer; recursion; burst; probability; denote; superscript; markov; formulas; vector; behavior; burst length; transmission fault; system technical; infinitely long; bell system; burst lengths; asymptotic behavior; size greater; buffer content; buffer size
Downloads: 33
[texts]mit :: ai :: aim :: AIM-484
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-484
Keywords: turtle; logo; session; deborah; procedures; kathy; monica; procedure; ray; laura; total turtle; turtle trip; programming skills; logo programming; simple recursion; turtle commands; observation checklist; teacher introduced; basic turtle; turtle geometry
Downloads: 27
[texts]BSTJ 52: 1. January 1973: Formulas on Queues in Burst Processes--I. (Gopinath, B.; Mitra, Debasis; Sondhi, M.M.)
Bell System Technical Journal, 52: 1. January 1973 pp 9-33. Formulas on Queues in Burst Processes--I. (Gopinath, B.; Mitra, Debasis; Sondhi, M.M.)
Keywords: buffer; recursive; matrix; burst; probability; recursion; formulas; formula; probabilities; markov; unit circle; transition matrix; recursive formula; finite buffer; system technical; weighted sum; recursive formulas; burst length; bell system; remaining columns
Downloads: 26
[texts]mit :: lcs :: tr :: MIT-LCS-TR-110
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-110
Keywords: recursive; functions; theorem; hierarchy; subrecursive; hierarchies; function; primitive; elementary; honesty; fur mathematische; subrecursive classes; primitive recursive; logik und; recursive functions; complexity classes; ordinal recursion; recursive function; honesty procedure; turing machine
Downloads: 20
[texts]BSTJ 55: 4. April 1976: Digital Single-Tone Generator-Detectors. (Kurshan, R.P.; Gopinath, B.)
Bell System Technical Journal, 55: 4. April 1976 pp 469-496. Digital Single-Tone Generator-Detectors. (Kurshan, R.P.; Gopinath, B.)
Keywords: filter; cyclotomic; weighting; coefficients; resonances; recursion; frequency; roots; filters; integer; cyclotomic filters; perfect arithmetic; word length; initial conditions; weighting function; feedback loop; fourier coefficient; bell system; system technical; length required
Downloads: 49
[texts]mit :: ai :: aim :: AIM-031
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-031
Keywords: functions; defined; function; computable; conditional; canonical; computation; recursive; variables; expressions; turing machines; computable functions; recursive function; conditional form; conditional expressions; canonical form; order predicate; recursive functions; symbolic expressions; recursion induction
Downloads: 26
[texts]mit :: ai :: aim :: AIM-453
From the bitsavers.org collection, a scanned-in computer-related document.mit :: ai :: aim :: AIM-453
Keywords: interpreter; steele; sussman; lisp; procedures; art; figure; env; eval; procedure; referential transparency; free variables; side effects; lexical scoping; dynamic scoping; top level; procedure definitions; recursion equations; driver loop; dynamically scoped
Downloads: 27
[texts]mit :: lcs :: tr :: MIT-LCS-TR-131
From the bitsavers.org collection, a scanned-in computer-related document.mit :: lcs :: tr :: MIT-LCS-TR-131
Keywords: recursive; function; theorem; formula; definition; predicate; deduction; theory; functions; formulas; primitive recursive; second order; order logic; recursive functions; recursive definition; recursive function; primitive recursion; partial recursive; problem set; set theory
Downloads: 20
[movies]MIT 6.00 Introduction to Computer Science and Programming, Fall 2008 - MIT OpenCourseWare
This subject is aimed at students with little or no programming experience. It aims to provide students with an understanding of the role computation can play in solving problems. It also aims to help students, regardless of their major, to feel justifiably confident of their ability to write small programs that allow them to accomplish useful goals. The class will use the Python™ programming language.
Keywords: Python; programming; computer science; computation; problem solving; recursion; binary search; classes; inheritance; libraries; algorithms; optimization problems; modules; simulation; big O notation; control flow; exceptions; building computational models; software engineering
Downloads: 248,944
[texts]dec :: tech reports :: SRC-RR-16
From the bitsavers.org collection, a scanned-in computer-related document.dec :: tech reports :: SRC-RR-16
Keywords: predicate; commands; theorem; command; outcome; predicates; recursion; partial; fixpoint; calculus; predicate transformers; proper outcome; partial commands; limit theorem; general calculus; total correctness; predicate transformer; partial relations; correctness model; approximation relation
[texts]generalmanual 000036365
generalmanual 000036365
Keywords: menu; data; memory; function; variable; graph; display; press; recursion; table; variable data; data menu; table range; function memory; menu appears; view window; function key; data type; table contents; screen displays
Downloads: 5
[audio]idXed - Storm the Plateau (2009) - facebook/FCR773
.zip file of 6-tracks/37mins of abstract music inspired by dreams, trips, hip hop, grindcore, cartoons and questioning existence.
Keywords: idXed, idea defined, prefuse 73, trip hop, man from earth, interstate 60, alex jones, david wilcock, 2012 enigma, neanderthal, grindcore, hellnation, fastcore, thrash, psychedelic, trip, DXM, plateau, sludge, doom, stephan hawkin, the universe, schizophrenia, multiple personalities, peak, storm, assimilation, come down, RPG, legend of zelda, super mario world, midi, 8bit, recursion, southern rock, pi, spoken word, poetry
Downloads: 13
[texts]Recursion usage in Programming - Vitaly Grinko aka perlaws at bitbybit.ru
This document summarizes all the information regarding recursion - its types and usage rules, code efficiency and appropriate optimization methodics. Published at Bitbybit.ru http://bitbybit.ru/article/86/
Keywords: recursion; bitbybit; programming; perlaws; functions; программирование; самоучитель программирования
Downloads: 81
[audio]idXed - Sickly Thin (2012)
12 minutes of guitar slop math grind drum machine beats
Keywords: idxed; pig destroyer; psychology; discordance axis; the simpsons; morbid obesity; grind; math metal; edward james olmos; grindcore; sludge; thrash; thrash metal; hardcore; hardcore punk; iron lung; agoraphobic nosebleed; insect warfare; psychedelic; poison ivy; urushiol; breaking bad; schizopolis; schizophrenia; dementia; brutal truth; pretty little flower; PLF; circle pit; douglas hofstadter; recursion; fractal; chaos theory; butterfly effect; infinity; drum machine; downward spiral; third eye; lucidity; lucid; dreams; astral projection; noism; ghostwriter; gigantic brain; uphill battle
Downloads: 13
[audio]idXed - Forest Punk Just For Fun (2013) - Forest Crew Records (773)
wrote and recorded a song a day for a month (with minimal cheating when labor picked up...) and out came this album! Awkward (mostly acoustic) jams with a wide range of lyrical themes and guitar styles. Enjoy!
Keywords: idxed; forest punk; folk punk; wagon wheel; dinosaur jr; jets to brazil; jawbreaker; alkaline trio; hank III; black flag; abrade; addxm; idea defined; morvern restraint; johnny cash; hank williams sr; andrew jackson jihad; arroyo deathmatch; hail seizures; theleakyfaces; vagabond; wanderer; ramshackle glory; folk; indie; dumpster diving; bagels; pogs; notebooks; poetry; alternative; FCR; chicago; albuquerque; homebrew; monopoly; wine; ukelele; mickey's; malt liquor; riddles; puzzles; jedi mind tricks; acoustic; punk; ska; lord buckley; freight trains; galesburg; dubuque; bellevue; davenport; couchsurfing; hitchhiking; hitch; bukowski; rodney mullen; arrested development; tom waits; coffee; labor; rio grande; diy; sandia; escapism; belen; new mexico; BNSF; artist's way; experimental; bob dylan; neil young; johnny hobo; blackbird raum; hendrix; fender; fuckajob; minimum wage; look back and laugh; forest glen; forest crew; the woods; bonfire; alcohol; boombox; beer; pocket; pool; ocean; reflection; recursion
Downloads: 147
[movies]A Matrix of Meaning for Sacred Alphabets - Tenen, Stan
http://qbl.com.br/?p=1954
Keywords: Hebrew Alphabet; Matrix; Greek Alphabet; Arabic Alphabet; Numerology; Aleph; Letter A; Meru; Physical World; Spiritual World; Reality; Consciousness; Genesis; Letter B; Pyramid Shape; Genesis 1:1; Carlo Suares; Universe; Hierarchical System; Letter Z; Ouroboros; Torus; Reflexive System; Hyperdimensional Objects; Pi; Naked Recursion; Assimetry; Flame of Consciousness; Shadows; Vortex; Donut; Zohar; The Lilly; Rabbi Schuman; 13 Leafs; Sphere; Cup of Blessing; Seed; Star of Seeds; 7-Color Map; Life Cycle; Life Force; Angular Momentum; Intrinsic Spin; Eliptic Sections; Self-Referencial Quality; Topology; Rubik Cube; Symmetry Axis; Torah; Loops; Tzadi; Tree of Life; Stephen Hawking; Taurus; Creation; Beth; ZB; Hex Map; 22 Letters; 27 Letters; Secret of Redemption; 5 Final Letters; 1-3 Model; Tetrahelix; DNA; 22 Tetrahelix Faces; Gimel; Daleth; He; Knot Theory; Transparent Homogeneous Isotropic Cosmic Gelly; Fiat Lux; 2-Torus; Trefoil; Simple Knot; Manifestation; 22 Colored Regions; Jubilee; Keith Critchlow; Soul as Sphere and Androgyne; Sacred Symbols; Primordial Movement; Concentric Infusion
Downloads: 340
[texts]Fundamentals Of Computer Programming with CSharp - Nakov eBook v2013 - Svetlin Nakov
The free book "Fundamentals of Computer Programming with C#" is a comprehensive computer programming tutorial that teaches programming, logical thinking, data structures and algorithms, problem solving and high quality code with lots of examples in C#. It comes with free video lessons, presentations, exercises and solutions.This free programming tutorial starts with the first steps in programming and software development like variables, data types, conditional statements, loops and arrays and c...
Keywords: free; programming; book; computer programming; programming fundamentals; ebook; book programming; C#; CSharp; C# book; tutorial; C# tutorial; programming concepts; programming fundamentals; compiler; Visual Studio; .NET; .NET Framework; data types; variables; expressions; statements; console; conditional statements; control-flow logic; loops; arrays; numeral systems; methods; strings; text processing; StringBuilder; exceptions; exception handling; stack trace; streams; files; text files; linear data structures; list; linked list; stack; queue; tree; balanced tree; graph; depth-first search; DFS; breadth-first search; BFS; dictionaries; hash tables; associative arrays; sets; algorithms; sorting algorithm; searching algorithms; recursion; combinatorial algorithms; algorithm complexity; OOP; object-oriented programming; classes; objects; constructors; fields; properties; static members; abstraction; interfaces; encapsulation; inheritance; virtual methods; polymorphism; cohesion; coupling; enumerations; generics; namespaces; UML; design patterns; extension methods; annonymous types; lambda expressions; LINQ; code quality; high-quality code; high-quality classes; high-quality methods; code formatting; self-documenting code; code refactoring; problem solving; problem solving methodology
Downloads: 812
Advanced search

Group results by:

> Relevance
Mediatype
Collection

Related mediatypes

texts
audio
movies
image